Swcca_ms is an adaptaion of the Swcca algorithm, and is a local search solver for unweighted MAX-SAT instances. 

Running command:
./Swcca_ms <instance>

Authors: Shaowei Cai [1], Chuan Luo [2]

Institutes: [1] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
            [2] Key laboratory of High Confidence Software Technologies, Peking University, Beijing, China

If you have any questions about Swcca or Swcca_ms, please drop an email to caisw@ios.an.cn.
